Abstract Program Slicing: Abstract interpretation-based approaches to Slicing Isabella Mastroeni (Ðurica Nikoli´c and Damiano Zanardini) Dipartimento di Informatica, University of Verona, Italy

Source URL: crest.cs.ucl.ac.uk

Database Queries that Explain their Work James Cheney Amal Ahmed Umut A. Acar

Source URL: www.ccs.neu.edu

• Software engineering
• Computer programming
• Programming language theory
• Linear algebra
• Software design patterns
• Matrix theory
• Trace
• Program slicing
• Monad
• Substitution
• FO
• ALGOL 68

Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing John Field and Frank Tip IBM T. J. Watson Research Center P.O. Box 704, Yorktown Heights, NY, 10598, USA

Source URL: www.franktip.org

c Cambridge University Press 2011 Math. Struct. in Comp. Science (2011), vol. 21, pp. 1339–1362.
doi:S0960129511000223 On the computational complexity of dynamic slicing problems for program schemas

Source URL: sebastian.doc.gold.ac.uk

Detecting Refactorable Clones Using Program Dependence Graph (PDG) and Program Slicing Ammar Hamid University of Amsterdam

Source URL: grammarware.github.io

Speeding up Slicing Thomas Reps,† Susan Horwitz,† Mooly Sagiv,†, ‡ and Genevieve Rosay University of Wisconsin−Madison ABSTRACT Program slicing is a fundamental operation for many software engineering tools. Cu

Source URL: research.cs.wisc.edu

Reducing GUI Test Suites via Program Slicing Stephan Arlt Andreas Podelski Martin Wehrle

Source URL: ai.cs.unibas.ch

• Program slicing
• Computing
• Test automation
• Sequence
• Software development
• Software testing
• Software engineering
• Graphical user interface testing

PDF Document

Source URL: www.roywant.com

• Ubiquitous computing
• Computing
• PARC
• Association for Computing Machinery
• Program slicing
• Peter J. Denning
• Ambient device
• Context-aware pervasive systems
• Mark Weiser
• Technology
• Software engineering

The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3

Source URL: www.cse.chalmers.se

• Real-time computing
• Worst-case execution time
• Symbolic execution
• KeY
• Program slicing
• Analysis of algorithms
• Model checking
• Control flow
• Abstract interpretation
• Theoretical computer science
• Programming language theory
• Computing

FXplorer: Exploration of Computed Software Behavior A New Approach to Understanding and Verification Luanne Burns Timothy Daly Software Engineering Institute Carnegie Mellon University

Source URL: daly.axiom-developer.org

• X86 architecture
• Assembly languages
• X86 assembly language
• Return statement
• Behavior
• Software bug
• Program slicing
• CPUID
• Decompiler
• Software engineering
• Computing
• Computer programming